b == if b then True else False fi  

latex

Up	bool 1, bool 1
Wellformedness Lemmas	assert wf, assert wf
Definitions	if b then t else f fi , True, False
FDL editor aliases	assert